Architectural Specifications for Reactive Systems
نویسنده
چکیده
This paper concerns the problem of building reactive systems in a modular way. Several institutions have been proposed for the specification of reactive systems throughout the last fifteen years. Based on the institutions, formalisms for the incremental construction of system specifications have been developed. Related problem of modular construction of system implementations has received less attention. This paper is the first attempt to use architectural specifications of Casl for that purpose. The semantics of the architectural specifications is based on the underlying institution. We argue that none of the institutions defined so far for reactive systems is appropriate as a basis for architectural specifications, and therefore we propose another one, better suited for this task. We also show how to express synchronisation of reactive systems using implementation-building operations of Casl architectural specifications.
منابع مشابه
An Approach to the Design of Networked Embedded Systems
The paper presents an approach to formal specification, verification and prototyping of network applications ranging from large information systems down to small components embedded e.g. in mobile devices. Main attention focuses both on architectural and behavioral specifications of either reactive or real-time activities utilizing either structured or object-oriented approach depending on appl...
متن کاملYIP Formal Synthesis of Software-Based Control Protocols for Fractionated, Composable Autonomous Systems
This project develops methods and tools for formally synthesizing distributed, softwarebased control protocols for autonomous systems. It tackles the challenge of establishing trust in autonomous systems through a shift from the traditional “design+verify” approach to “specify+synthesize.” Specifically, it focuses on fractionated system architectures, where heterogeneous modules delivering dist...
متن کاملThe Behavior-Oriented Design of Modular Agent Intelligence
Behavior-Oriented Design (BOD) is a development methodology for creating complex, complete agents such as virtual-reality characters, autonomous robots, intelligent tutors or intelligent environments. BOD agents are modular, but not multi-agent systems. They use hierarchical reactive plans to perform arbitration between their component modules. BOD provides not only architectural specifications...
متن کاملUnit Testing for CASL Architectural Specifications
The problem of testing modular systems against algebraic specifications is discussed. We focus on systems where the decomposition into parts is specified by a Casl-style architectural specification and the parts (units) are developed separately, perhaps by an independent supplier. We consider how to test such units without reference to their context of use. This problem is most acute for generi...
متن کاملSeveral Strategies of Reactive System Program Synthesis
Reactive systems, such as operating systems or elevator control systems, are systems that ideally never terminate and are intended to maintain some interaction with their environment. Temporal logic is one of the methods for formal specification descriptions of reactive systems. By describing the formal specifications of reactive systems we can check the consistency of the specifications and wh...
متن کامل